package edu.pku.sei.autounit.reflect;

import java.util.Iterator;

public interface Interface extends Type,Context{
	String getPackageName();
	Iterator<Class> getSubClasses();
	Interface [] getInterfaces();
}
